[general]
	is dfa = true;
	alphabet size = 8;
	number of states = 3;
[initial states]
	0;
[final states]
	1;
[transitions]
	0, 0, 0;
	0, 1, 0;
	0, 2, 0;
	0, 3, 0;
	0, 4, 0;
	0, 5, 2;
	0, 6, 0;
	0, 7, 1;
	2, 0, 2;
	2, 1, 2;
	2, 2, 2;
	2, 3, 2;
	2, 4, 2;
	2, 5, 2;
	2, 6, 2;
	2, 7, 2;
